Skip to content

rfc: distributed coordinator#1078

Merged
burgerdev merged 1 commit intomainfrom
rfc/009
Feb 25, 2025
Merged

rfc: distributed coordinator#1078
burgerdev merged 1 commit intomainfrom
rfc/009

Conversation

@burgerdev
Copy link
Member

No description provided.

@burgerdev burgerdev added the no changelog PRs not listed in the release notes label Dec 17, 2024
@burgerdev burgerdev marked this pull request as ready for review February 11, 2025 15:53
Copy link
Member

@msanft msanft left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for writing this up so thoroughly and well-explained!

To the best of my (arguably limited) knowledge on this part of Contrast, this looks good.

Copy link
Member

@thomasten thomasten left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks, looks solid to me! (modulo my incomplete knowledge on some Contrast details)
nit: there are still some mentions of RFC009 in the text

Copy link
Contributor

@3u13r 3u13r left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

Co-authored-by: Thomas Tendyck <[email protected]>

Co-authored-by: 3u13r <[email protected]>
@burgerdev burgerdev merged commit 4b60024 into main Feb 25, 2025
7 checks passed
@burgerdev burgerdev deleted the rfc/009 branch February 25, 2025 12:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

no changelog PRs not listed in the release notes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants